Semantics of logic - PDFSEARCH.IO - Document Search Engine

Semantics of logic
Results: 1541

#	Item
331	An operational semantics for R5RS Scheme Jacob Matthews Robert Bruce Findler University of Chicago Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:12 Functional programming Logic in computer science Lambda calculus Lisp programming language Subroutines Operational semantics Scheme Eval Monad Software engineering Computing Computer programming
332	Propositional Logic Review John MacFarlane January 24, 2011 The task of describing a logical system comes in three parts: Grammar Describing what counts as a formula. Semantics Defining truth in a model (and, derivativel Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-01-24 19:35:06 Logical truth Binary operations Boolean algebra Tautology Logical connective If and only if Entailment Well-formed formula Truth table Logic Propositional calculus Philosophical logic
333	Resourceful Reachability as HORN-LA Josh Berdine, Nikolaj Bjørner, Samin Ishtiaq, Jael E. Kriener, and Christoph M. Wintersteiger Microsoft Research, University of Kent Abstract. The program verification tool SLAyer us Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-05-07 12:02:15 Electronic design automation Formal methods Logic in computer science NP-complete problems Vehicle Identification Number Satisfiability Modulo Theories FO Kripke semantics Theoretical computer science Mathematical logic Logic
334	Gregory Gelfond Department of Computer Science Texas Tech University Lubbock, TXPhone: 408–506–1991 Email: Add to Reading List Source URL: myweb.ttu.edu Language: English Computer programming Logic programming Prolog Stable model semantics Programming language Declarative programming Knowledge representation and reasoning Software engineering Programming paradigms Computing
335	The Grammar of Polarity Particles in Romanian Donka F. Farkas UCSC 1 Add to Reading List Source URL: people.ucsc.edu Language: English - Date: 2015-01-24 16:05:40 Pragmatics Science Semantics Discourse analysis Propositional calculus Context Interpretation Proposition Modal logic Logic Linguistics Philosophy of language
336	Term structure in FG: a modest proposal Evelien Keizer, University of Amsterdam 1. Introduction1 Add to Reading List Source URL: home.hum.uva.nl Language: English - Date: 2004-03-09 07:11:45 Parts of speech Grammar Predicate Semantics Predicate logic Complement Theta role Copula Relational grammar Linguistics Logic Syntax
337	(L) YesbotL1. “I am the CEO of NACLO Enterprises.” L2. “You” will sometimes cause an error – whenever the CEO is addressing Yesbot, for example – but not when the CEO and Yesbot are both talking to a t Add to Reading List Source URL: www.naclo.cs.cmu.edu Language: English - Date: 2013-11-03 01:31:48 Error Causality Science Knowledge Philosophical logic Measurement Indexicality Semantics
338	On Static Properties of Specialized Programs∗ Karoline Malmkjær † Department of Computing and Information Sciences Kansas State University ‡ Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:07 Applied mathematics Models of computation Programming language semantics Logic in computer science Denotational semantics Abstract interpretation Symbol Partial evaluation Interpretation Theoretical computer science Formal languages Mathematics
339	3 PARAPHRASING: THE AUTHOR’S THOUGHTS IN YOUR WORDS I Add to Reading List Source URL: wac.colostate.edu Language: English - Date: 2010-10-17 13:04:34 Semantics Philosophy of language Logic Meaning Paraphrase Word sense Sentence Philosophical logic Analytic philosophy Linguistics
340	Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines Olivier Danvy Department of Computer Science Uni Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:21:35 Programming language semantics Procedural programming languages Logic in computer science Functional languages Models of computation Standard ML Denotational semantics ALGOL 68 Eval Software engineering Computing Programming language theory

UPDATE